English-Russian dictionary of information security . 2014.
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
Тестирование программного обеспечения — Разработка программного обеспечения Процесс разработки ПО Шаги процесса Анализ • Проектирование • Программирование • Докумен … Википедия
Технология UniTESK — Стиль этой статьи неэнциклопедичен или нарушает нормы русского языка. Статью следует исправить согласно стилистическим правилам Википедии. UniTESK (Unified Testing specification toolKit) технология тестировани … Википедия
ГОСТ Р ИСО 9000-2008: Системы менеджмента качества. Основные положения и словарь — Терминология ГОСТ Р ИСО 9000 2008: Системы менеджмента качества. Основные положения и словарь оригинал документа: 3.8.7 анализ (review): Деятельность, предпринимаемая для установления пригодности, адекватности и результативности (3.2.14)… … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р МЭК 62340-2011: Атомные станции. Системы контроля и управления, важные для безопасности. Требования по предотвращению отказов по общей причине — Терминология ГОСТ Р МЭК 62340 2011: Атомные станции. Системы контроля и управления, важные для безопасности. Требования по предотвращению отказов по общей причине оригинал документа: 3.25 валидация (validation): Процесс определения того,… … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р МЭК 60880-2010: Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории А — Терминология ГОСТ Р МЭК 60880 2010: Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории А оригинал документа: 3.25 N версионное программное… … Словарь-справочник терминов нормативно-технической документации
ГОСТ ISO 9000-2011: Системы менеджмента качества. Основные положения и словарь — Терминология ГОСТ ISO 9000 2011: Системы менеджмента качества. Основные положения и словарь: 3.8.7 анализ (review): Деятельность, предпринимаемая для установления пригодности, адекватности и результативности (3.2.14) рассматриваемого объекта для… … Словарь-справочник терминов нормативно-технической документации
UniTesK — (Unified Testing specification toolKit) технология тестирования программного и аппаратного обеспечения на основе формальных спецификаций, разработанная в Институте системного программирования РАН. Технология представляет собой сочетание хорошо… … Википедия
UniTESK — (Unified Testing specification toolKit) технология тестирования программного и аппаратного обеспечения на основе формальных спецификаций, разработанная в Институте системного программирования РАН. Технология представляет собой сочетание хорошо… … Википедия
соответствие — 01.02.42 соответствие [ conformity]: Соблюдение заданных требований к продукции, процессу или услуге. [ИСО/МЭК Руководство 2:1996, 12.1] Источник … Словарь-справочник терминов нормативно-технической документации
Мультикор — (англ. Multicore) семейство сигнальных микропроцессоров, разработанное на российском предприятии ГУП НПЦ «Электронные Вычислительно Информационные Системы» (ГУП НПЦ «ЭЛВИС»). Микропроцессоры имеют несимметричную многоядерную… … Википедия
